oh I didn't know that, he was one heck of a pitcher though!